struct t1{
	int data;
	bool flag;
};
struct t2{
	int data;
	struct t1 * t;
};
/*@*/
int main()
{
	struct t2 * test;
	test = alloc (struct t2);
	test->data=2;
	test->t=NULL;
	
		test->t=alloc(struct t1);
		test->t->data=3;
		print(test->t->data);
	
	return 0;
}
/*@*/
